mce: Support machine check logging left over from previous reset.

Signed-off-by: Kazuhiro Suzuki <kaz@jp.fujitsu.com>

diff --git a/xen/arch/x86/cpu/mcheck/mce_intel.c b/xen/arch/x86/cpu/mcheck/mce_intel.c
index 25a5a4c9499344e33a33b2c8c49b104473efbbaa..4b86451ce2d05769cb7d80c2ed247c1d65f565fb 100644 (file)
--- a/xen/arch/x86/cpu/mcheck/mce_intel.c
+++ b/xen/arch/x86/cpu/mcheck/mce_intel.c
@@ -1029,10 +1029,10 @@ static void mce_init(void)
 
     mctc = mcheck_mca_logout(MCA_RESET, mca_allbanks, &bs, NULL);
 
-    /* in the boot up stage, don't inject to DOM0, but print out */
+    /* in the boot up stage, print out and also log in DOM0 boot process */
     if (bs.errcnt && mctc != NULL) {
         x86_mcinfo_dump(mctelem_dataptr(mctc));
-        mctelem_dismiss(mctc);
+        mctelem_commit(mctc);
     }
 
     set_in_cr4(X86_CR4_MCE);